EXTRA_DIST=$(srcdir)/Makefile.common \
           $(srcdir)/Makefile.arm.dslinux \
			  $(srcdir)/Makefile.arm.n770 \
			  $(srcdir)/Makefile.leon.ork \
			  $(srcdir)/Makefile.leon3-xm3 \
			  $(srcdir)/Makefile.leon3-xtratum \
			  $(srcdir)/Makefile.leon.rtems \
			  $(srcdir)/Makefile.linux32 \
			  $(srcdir)/Makefile.linux32-xenomai-native \
			  $(srcdir)/Makefile.linux32-xenomai-posix \
			  $(srcdir)/Makefile.linux64 \
			  $(srcdir)/Makefile.x86.rtems \
			  $(srcdir)/Makefile.x86.linuxtaste \
			  $(srcdir)/Makefile.nds.rtems \
			  $(srcdir)/Makefile.gumstix.rtems \
			  $(srcdir)/Makefile.spif.rtems \
           $(srcdir)/Makefile.template

CLEANFILES = *~

makesrc = ${shell $(CYGPATH_U) '$(OCARINA_RUNTIME)/polyorb-hi-c/make'}

install-data-local:
	$(INSTALL) -d $(DESTDIR)$(makesrc)
	for f in $(EXTRA_DIST) Makefile.native; do $(INSTALL) -m 444 $$f $(DESTDIR)$(makesrc) ; done

uninstall-local:
	rm -rf $(DESTDIR)$(makesrc)


